/patch-Jamrules/1.6/Thu Aug 22 20:06:49 2013//
/patch-garglk_Jamfile/1.1/Thu Aug 22 20:06:49 2013//
/patch-garglk_glk_h/1.1/Thu Aug 22 20:06:50 2013//
/patch-garglk_launchgtk_c/1.2/Thu Aug 22 20:06:50 2013//
/patch-tads_Jamfile/1.4/Thu Aug 22 20:06:50 2013//
D
